退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:schwichtenberg条缓判闭包定理的直接证明
Oliva, Paulo; Steila, Silvia;
机译:Schwichtenberg Bar递归封闭定理的直接证明
机译:通过小节递归分析Podelski-Rybalchenko终止定理
机译:通过杆递归分析Podelski-Rybalchenko终止定理
机译:遗失的观测定理和Levinson递归的新证明
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:递归理论定理的复杂性理论证明
机译:三角测量分类的K-Theory 3 3/4:心脏定理的直接证明
机译:用于在隧道中的应急门上操作应急门关闭装置的装置,具有拉杆,该拉杆的端部与关闭的关闭元件连接,以将沿着杆的纵向的滑动运动转换成用于打开关闭元件的运动。
机译:用于机动车辆中的手制动器的操作装置,其具有由纵向杆形成的基础结构的手柄,在该手柄上安装有用于沿纵向杆的横向组装推杆的闭合单元。
机译:一种改进的防篡改金属丝密封条,用于拾取带有窄孔锁紧夹和其他密封系统的聚乙烯/帆布袋和直接戳破的桶。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。